* etc/MACHINES: Fix reference to obsolete file.

diff --git a/etc/MACHINES b/etc/MACHINES
index c9fdc6cea961469127a2f1889be82b0599ec75b7..751d59932c506cf4333cd185fec1aa71ef73f660 100644 (file)
--- a/etc/MACHINES
+++ b/etc/MACHINES
@@ -141,7 +141,7 @@ the list at the end of this file.
   all supported versions of Android on all supported machines: arm,
   armv7, arm64, x86, x86_64, and mips.
 
-  See the file INSTALL.android for detailed installation instructions.
+  See the file java/INSTALL for detailed installation instructions.
 
 \f
 * Obsolete platforms